Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Computer Science Logic, 10 conf., CSL '96

 Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.71 Mb

Typed Lambda Calculi and Applications, TLCA '93 1 conf

 Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.80 Mb